Interaction Soundness for Service Orchestrations

Traditionally, service orchestrations utilize services according to a choreography where they are a part of. The orchestrations as well as the choreographies describe pre-defined sequences of behavior. This paper investigates if a given orchestration can be enacted without deadlocks, i.e. is interaction sound, inside an environment made up of different services. In contrast to existing approaches, we utilize link passing mobility to directly represent dynamic binding as found in service oriented architectures. Thus, the sequences of interaction behavior are not statically pre-defined but rather depend on the possible behavior of the services in the environment.